|
In abstract algebra, a composition series provides a way to break up an algebraic structure, such as a group or a module, into simple pieces. The need for considering composition series in the context of modules arises from the fact that many naturally occurring modules are not semisimple, hence cannot be decomposed into a direct sum of simple modules. A composition series of a module ''M'' is a finite increasing filtration of ''M'' by submodules such that the successive quotients are simple and serves as a replacement of the direct sum decomposition of ''M'' into its simple constituents. A composition series may not exist, and when it does, it need not be unique. Nevertheless, a group of results known under the general name Jordan–Hölder theorem asserts that whenever composition series exist, the ''isomorphism classes'' of simple pieces (although, perhaps, not their ''location'' in the composition series in question) and their multiplicities are uniquely determined. Composition series may thus be used to define invariants of finite groups and Artinian modules. A related but distinct concept is a chief series: a composition series is a maximal ''subnormal'' series, while a chief series is a maximal ''normal series''. ==For groups== If a group ''G'' has a normal subgroup ''N'', then the factor group ''G''/''N'' may be formed, and some aspects of the study of the structure of ''G'' may be broken down by studying the "smaller" groups ''G/N'' and ''N''. If ''G'' has no normal subgroup that is different from ''G'' and from the trivial group, then ''G'' is a simple group. Otherwise, the question naturally arises as to whether ''G'' can be reduced to simple "pieces", and if so, are there any unique features of the way this can be done? More formally, a composition series of a group ''G'' is a subnormal series of finite length : with strict inclusions, such that each ''H''''i'' is a maximal strict normal subgroup of ''H''''i''+1. Equivalently, a composition series is a subnormal series such that each factor group ''H''''i''+1 / ''H''''i'' is simple. The factor groups are called composition factors. A subnormal series is a composition series if and only if it is of maximal length. That is, there are no additional subgroups which can be "inserted" into a composition series. The length ''n'' of the series is called the composition length. If a composition series exists for a group ''G'', then any subnormal series of ''G'' can be ''refined'' to a composition series, informally, by inserting subgroups into the series up to maximality. Every finite group has a composition series, but not every infinite group has one. For example, has no composition series. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「composition series」の詳細全文を読む スポンサード リンク
|